Logic programming

Results: 2694



#Item
31

Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

Add to Reading List

Source URL: www.cs.uni-potsdam.de

- Date: 2012-06-27 10:05:03
    32

    Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

    Add to Reading List

    Source URL: logic.cse.unt.edu

    - Date: 2011-01-23 15:58:50
      33

      Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      - Date: 2014-09-02 06:12:08
        34

        ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen

        Add to Reading List

        Source URL: utdallas.edu

        - Date: 2009-06-05 21:13:38
          35

          ¨ t zu Kiel Christian-Albrechts-Universita Diploma Thesis Functional Logic Programming with Databases

          Add to Reading List

          Source URL: www-ps.informatik.uni-kiel.de

          - Date: 2014-06-15 10:44:35
            36

            On Functional Logic Programming and its Application to Testing Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.)

            Add to Reading List

            Source URL: www-ps.informatik.uni-kiel.de

            - Date: 2014-06-15 10:44:56
              37

              On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

              Add to Reading List

              Source URL: www-ps.informatik.uni-kiel.de

              - Date: 2014-06-15 10:42:57
                38

                Logic Programming for Software-Defined Networks 1. Naga Praveen Katta

                Add to Reading List

                Source URL: frenetic-lang.org

                - Date: 2016-06-10 23:59:37
                  39

                  Towards Integrating Fuzzy Logic Capabilities into an Ontology-based Inductive Logic Programming Framework Josu´e Iglesias Telecommunications Engineering School Technical University of Madrid, Spain Email:

                  Add to Reading List

                  Source URL: jens-lehmann.org

                  - Date: 2016-08-19 06:05:24
                    40

                    Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

                    Add to Reading List

                    Source URL: dbai.tuwien.ac.at

                    - Date: 2013-06-20 14:18:41
                      UPDATE